﻿using Nemerle.Collections;
using Nemerle.Text;
using Nemerle.Utility;

using System;
using System.Collections.Generic;
using System.Linq;

class SafeNavigation
{
  class User 
  { 
    public IsMale : bool { get; set; }
    public Name : string { get; set; }
  }
  
  public Navigate() : void
  {
    def user : User = null;
    Console.WriteLine(user?.Name);   // ""      (default(string))
    Console.WriteLine(user?.IsMale); // "False" (default(bool))
  }
}